1

Efficient Detection of Vacuity in Temporal Model Checking

Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
Journal:
Formal Methods in System Design
Year:
2001
Language:
english
File:
PDF, 93 KB
english, 2001
2

Labeling Schemes for Dynamic Tree Networks

Amos Korman, David Peleg, Yoav Rodeh
Journal:
Theory of Computing Systems
Year:
2004
Language:
english
File:
PDF, 316 KB
english, 2004
3

Constructing Labeling Schemes through Universal Matrices

Amos Korman, David Peleg, Yoav Rodeh
Journal:
Algorithmica
Year:
2010
Language:
english
File:
PDF, 453 KB
english, 2010
4

The Small Model Property: How Small Can It Be?

Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 147 KB
english, 2002
7

Fast rendezvous on a cycle by agents with different speeds

Feinerman, Ofer, Korman, Amos, Kutten, Shay, Rodeh, Yoav
Journal:
Theoretical Computer Science
Year:
2016
Language:
english
File:
PDF, 789 KB
english, 2016
8

The Dependent Doors Problem

Korman, Amos, Rodeh, Yoav
Journal:
ACM Transactions on Algorithms
Year:
2018
Language:
english
File:
PDF, 400 KB
english, 2018